<html>
<head><meta charset="utf-8"><title>Separating the Problem Space · project-safe-transmute · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/index.html">project-safe-transmute</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/topic/Separating.20the.20Problem.20Space.html">Separating the Problem Space</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="214287580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/216762-project-safe-transmute/topic/Separating%20the%20Problem%20Space/near/214287580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/topic/Separating.20the.20Problem.20Space.html#214287580">(Oct 23 2020 at 08:50)</a>:</h4>
<p>Hey all. I've gotten some feedback from folks that the RFC as written mixes problem description with proposed solution a bit too closely. People were having a hard time understanding the problem space outside of the context of the proposed solution which was making it hard to judge whether the proposed solution was ideal for addressing the problem.</p>
<p>The problem space is big and complicated. I took the time to trim the RFC of the proposed solution and just present the problem space along with how prior art failed to address this problem space adequately. Perhaps if we can get people on the same page about the shape the problem, we'll have an easier time convincing everyone of the proper solution. Let me know if you think this is helpful: <a href="https://gist.github.com/rylev/6dbf91dfa93b1276f39fdc3d32bddbb7">https://gist.github.com/rylev/6dbf91dfa93b1276f39fdc3d32bddbb7</a></p>



<a name="214287652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/216762-project-safe-transmute/topic/Separating%20the%20Problem%20Space/near/214287652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/topic/Separating.20the.20Problem.20Space.html#214287652">(Oct 23 2020 at 08:51)</a>:</h4>
<p>In particular I think it's important to note the three mechanisms that we view as necessary: </p>
<ul>
<li>Codifying in-memory type representation guarantees</li>
<li>Expressing in-memory type representation requirements</li>
<li>Expressing in-memory type representation stability guarantees</li>
</ul>



<a name="214288093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/216762-project-safe-transmute/topic/Separating%20the%20Problem%20Space/near/214288093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/topic/Separating.20the.20Problem.20Space.html#214288093">(Oct 23 2020 at 08:56)</a>:</h4>
<p>One potential missing part of this, is a section that follows the discussion of well-defined and safe transmutation. A third category should be discussed, "stable" transmutation. Transmutes are "stable" if only minor semver changes can be performed without changing the set of possible safe transmute operations that can be performed on a type.</p>



<a name="214288161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/216762-project-safe-transmute/topic/Separating%20the%20Problem%20Space/near/214288161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rylev <a href="https://rust-lang.github.io/zulip_archive/stream/216762-project-safe-transmute/topic/Separating.20the.20Problem.20Space.html#214288161">(Oct 23 2020 at 08:57)</a>:</h4>
<p>None of this is _new_, but I hope that if we present the information in this form, we can first get everyone to a proper understanding of the problem space before we decide on the solution to address this problem space.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>